AbstractAlgebra.Generic.Frac{Nemo.QQMPolyRingElem}[R, W, I, S, a, xi, k, bw, mu, gam, bi]
